Combining recursive projection and dynamic programming technique in multi UAVs formation anomaly detection
نویسندگان
چکیده
منابع مشابه
Combining Recursive and Dynamic Types
A denotational semantics of simply typed lambda calculus with a basic type Dynamic, modelling values whose type is to be inspected at run-time, has been given by Abadi e.a..1]. We extend this interpretation to cover (formally contractive) recursive types as well. Soundness of typing rules and freeness of run-time type errors for well-typed programs hold. The interpretation works also for implic...
متن کاملinvestigation of single-user and multi-user detection methods in mc-cdma systems and comparison of their performances
در این پایان نامه به بررسی روش های آشکارسازی در سیستم های mc-cdma می پردازیم. با توجه به ماهیت آشکارسازی در این سیستم ها، تکنیک های آشکارسازی را می توان به دو دسته ی اصلی تقسیم نمود: آشکارسازی سیگنال ارسالی یک کاربر مطلوب بدون در نظر گرفتن اطلاعاتی در مورد سایر کاربران تداخل کننده که از آن ها به عنوان آشکارساز های تک کاربره یاد می شود و همچنین آشکارسازی سیگنال ارسالی همه ی کاربران فعال موجود در...
Multi-Layer Anomaly Detection in Complex Dynamic Critical Systems
Revealing anomalies to support error detection in complex systems is a promising approach when traditional detection mechanisms (i.e., based on event logs, probes and heartbeats) are considered inadequate or not applicable: anomalies in data usually suggest significant, and also critical, actionable information in a wide variety of application domains. The detection capability of such complex s...
متن کاملUAVs in Formation and Dynamic Encirclement Via Model Predictive Control
Switching between the formation flight tactic and the dynamic encirclement tactic for a team of Unmanned Aerial Vehicles (UAVs) is done using a decentralized approach. A team formed from N UAVs, accomplishes a line-of-breast formation then dynamic encirclement around a desired target. A high-level Linear Model Predictive Control (LMPC) policy is used to control the UAV team during the execution...
متن کاملTowards combining ontology matchers via anomaly detection
In ontology alignment, there is no single best performing matching algorithm for every matching problem. Thus, most modern matching systems combine several base matchers and aggregate their results into a final alignment. This combination is often based on simple voting or averaging, or uses existing matching problems for learning a combination policy in a supervised setting. In this paper, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Modelling, Identification and Control
سال: 2019
ISSN: 1746-6172,1746-6180
DOI: 10.1504/ijmic.2019.096837